home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group00b.txt / 000039_icon-group-sender _Wed Jul 26 08:05:24 2000.msg < prev    next >
Internet Message Format  |  2001-01-03  |  2KB
  1. Return-Path: <icon-group-sender>
  2. Received: (from root@localhost)
  3.     by baskerville.CS.Arizona.EDU (8.9.1a/8.9.1) id IAA06748
  4.     for icon-group-addresses; Wed, 26 Jul 2000 08:04:54 -0700 (MST)
  5. Message-Id: <200007261504.IAA06748@baskerville.CS.Arizona.EDU>
  6. From: Bob Ardler <ardler@argonet.co.uk>
  7. To: icon-group@optima.CS.Arizona.EDU
  8. Date: Wed, 26 Jul 2000 11:58:40 +0100
  9. Subject: Alternative representation of reals
  10. User-Agent: Pluto/2.02b (RISC-OS/3.60)
  11. Errors-To: icon-group-errors@optima.CS.Arizona.EDU
  12. Status: RO
  13. Content-Length: 970
  14.  
  15. In Jun'00 Kostas Oikonomou <oikonomou@att.com> twice posted enquiries
  16. about comparison of reals. No response and nor is this, but maybe of
  17. interest:-
  18.  
  19. In a hobbyists' magazine Gavin Wraith explains that because the
  20. fixed-length (exponent,mantissa) representation of reals can accumulate
  21. rounding errors; and because memory size and understanding of
  22. garbage-collection and heap management now permit it, variable-length
  23. representations have been sought.
  24.  
  25. He commends the "latest and most promising" real number format from Abbas
  26. Edalat and P.J.Potts at Imperial College, described in
  27. http://theory.doc.ic.ac.uk:80/~ae/ and http://theory.doc.ic.ac.uk:80/~pjp
  28.  
  29. "Prototype implementations in Haskell, Miranda, C++ and Java are now
  30. available." The representation will enable comparison as well as other
  31. real arithmetic - not as in Knuth.
  32.  
  33. There is a fairly readable detailing (in Miranda) at
  34. http://theory.doc.ic.ac.uk/~pjp/thesis.m
  35.  
  36. -- 
  37.  
  38. Bob Ardler,  ardler@argonet.co.uk
  39.  
  40.